The TIRAN approach to reusing software implemented fault tolerance

نویسندگان

  • Oliver Botti
  • Vincenzo De Florio
  • Geert Deconinck
  • Rudy Lauwereins
  • Flavio Cassinari
  • Susanna Donatelli
  • Andrea Bobbio
  • A. Klein
  • Holger Küfner
  • Erwin M. Thurner
  • Eric Verhulst
چکیده

Available solutions for fault tolerance in embedded automation are often based on strong customisation, have hnpacts on the whole life-cycle, and require highly specialised design teams, thus making dependable embedded svstenis costly and difficult to develop and maintain . The TIRf4u1r project develops a fraineivork which provides fault tolerance capabilities to automation svstenis, with the goal ofa/lowing portable, reusable and cost-effective sobuions . Application developers are allowed to select, configure and integrate in their own environment a variety ofsoftware-based functionsfor error detection, confinement and recovers provided by theframework. 1 Industrial Motivations and Answers to the Market Needs Market investigations with users and producers of automation systems have recognised the benefits offered by dependable systems, not only in the classical area of safetycritical tasks, but also in mission-critical ones, clue to the high economic impact of failures . Moreover, dependable ESPRIT Project 28620 TIRAN -'Tailorable fault tolerance frameworks for embedded applications" . 1066-6192/99 $10 .00 © 1999 IEEE 325 Italy

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Memory Fault Tolerance Software Mechanisms: Design and Configuration Support through SWN Models

This paper presents a case study of a software fault tolerance mechanisms, the distributed memory, designed and implemented within the european projects TIRAN and DEPAUDE, and currently under study within the Italian project ISIDE. The studied mechanisms are part of a complete framework of general purpose software fault tolerance mechanisms. In this paper we show a method for the compositional ...

متن کامل

Performance Validation of Fault-Tolerance Software: A Compositional Approach

This paper discusses the lessons learned in the modeling of a software fault tolerance solution built by a consortium of universities and industrial companies for an Esprit project called TIRAN. The requirements of high flexibility and modularity for the software have lead to a modeling approach strongly based on compositionality. Since the interest was for assessing both correctness and perfor...

متن کامل

A Fault-tolerance Linguistic Structure for Distributed Applications

The structures for the expression of fault-tolerance provisions into the application software are the central topic of this dissertation. Structuring techniques provide means to control complexity, the latter being a relevant factor for the introduction of design faults. This fact and the ever increasing complexity of today’s distributed software justify the need for simple, coherent, and effec...

متن کامل

An Algorithm for Tolerating Crash Failures in Distributed Systems

In the framework of the ESPRIT project 28620 “TIRAN” (tailorable fault tolerance frameworks for embedded applications), a toolset of error detection, isolation, and recovery components is being designed to serve as a basic means for orchestrating application-level fault tolerance. These tools will be used either as stand-alone components or as the peripheral components of a distributed applicat...

متن کامل

Stability Assessment Metamorphic Approach (SAMA) for Effective Scheduling based on Fault Tolerance in Computational Grid

Grid Computing allows coordinated and controlled resource sharing and problem solving in multi-institutional, dynamic virtual organizations. Moreover, fault tolerance and task scheduling is an important issue for large scale computational grid because of its unreliable nature of grid resources. Commonly exploited techniques to realize fault tolerance is periodic Checkpointing that periodically ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2000